1. A practical logic of cognitive systems
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic
رده :
BC
71
.
G22P7
2. Agenda relevance :
پدیدآورنده : Dov M. Gabbay and John Woods.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.,Logic.
رده :
BC71
.
G315
2003eb
3. Agent-Based Defeasible Control in Dynamic Environments.
پدیدآورنده : Dov M Gabbay
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
4. Approaches to Legal Rationality
پدیدآورنده : / Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
5. Approaches to Legal Rationality
پدیدآورنده : / Dov M. Gabbay... [et al.], editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Law -- Methodology,حقوق -- روش‌شناسی
رده :
K212
.
A685
2010
6. Approaches to legal rationalit
پدیدآورنده : / Dov M. Gabbay... [et al.], editors
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Law--Methodology
رده :
K
,
212
,.
A685
,
2010
7. Approaches to legal rationality /
پدیدآورنده : Dov M. Gabbay... [et al.], editors.
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : Law -- Methodology.,حقوق -- روش شناسی
رده :
K212
.
A68
8. Approaches to legal rationality
پدیدآورنده : Dov M. Gabbay... ]et al.[, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Law -- Methodology
رده :
K
212
.
A66
9. Approaches to legal rationality
پدیدآورنده : Dov M. Gabbay... [et al.], editors
کتابخانه: Campus International Library of Kish University of Tehran (Hormozgan)
موضوع : Law--Methodology
10. Approaches to legal rationality
پدیدآورنده : Dov M. Gabbay ... ]et al.[, editors
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Methodology ، Law,Philosophy ، Law
رده :
K
212
.
A67
2010
11. Approaches to legal rationality
پدیدآورنده : Dov M. Gabbay... ]et al.[, editors
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Law, Methodology
رده :
K
212
.
A685
2010
12. Based Systems-Logical Tools for Handling Change in Agent
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
13. British Logic in the Nineteenth Century
پدیدآورنده : Gabbay, Dov M Compiler 5491 -
کتابخانه: Library of Mofid University (Qom)
موضوع :
رده :
BC
15
.
G3
H3
2008
14. Computational logic
پدیدآورنده : edited by Dov M. Gabbay, Jörg H. Siekmann, John Woods.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.
15. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Conditionals (Logic),Modality (Logic),استلزام (منطق),منطق موجهات
رده :
BC199
.
C56
,
G32
2011
16. Conditionals and Modularity in General Logics
پدیدآورنده : / Dov M. Gabbay, Karl Schlechta
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
17. Dynamic syntax : the flow of language understanding
پدیدآورنده : Ruth Kempson, Wilfried Meyer-Viol, Dov Gabbay
موضوع : Grammar, Comparative and general -- Syntax,Linguistic analysis (Linguistics)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Elementary Logics: A Procedural Perspective
پدیدآورنده : / Dov Gabbay
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computer Science,Logic, Symbolic and Mathematical
رده :
QA76
.
G223
1998
19. Fibring logics
پدیدآورنده : Gabbay, Dov M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
1999
20. Fibring logics
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
G175
